TSTP Solution File: GRA037^2 by SRASS---0.1